International Refinement Workshop & Formal Methods.. - Grundy, Schwenke, (eds.) (1998)(Correct)
for discussion of work that has not yet reached maturity. Submissions were vetted for relevance, but
so in a less systematic way. Our hope is that the approach used here could be applied fruitfully to other
TR-CS-98-09 International Refinement Workshop &Formal Methods Pacific '98 Work-in-progress cs.anu.edu.au/techreports/1998/TR-CS-98-09.ps.gz
Iterative Methods For Stabilized Discrete Convection-Diffusion.. - Shih, Elman (1998)(Correct)(1 citation)
oscillatory solutions [18]29, p. 259]Various approaches for handling this problem, based on the
Park, MD 20742, e-mail: elman@cs.umd.edu. This work was supported by U. S. National Science Foundation
i having value 0 on the boundary, it follows from integration by parts that fi \Delta rOE j OE i ) ftp.cs.umd.edu/pub/papers/papers/ncstrl.umcp/CS-TR-3945/CS-TR-3945.ps.Z
Data Structures and Genetic Programming - Langdon (1996)(Correct)(9 citations)
have been found in adopting a "structured approach"For example, Koza [Koz94] has shown the
College London 1 Introduction Much published work on genetic programming evolves functions without ftp.cs.bham.ac.uk/pub/authors/W.B.Langdon/papers/GPlist_aigp2.ps
An Approach to Pricing and Resource Sharing for Available.. - Courcoubetis, Siris (1997)(Correct)(8 citations)
FORTH-ICS /TR-212 November 1997 An Approach to Pricing and Resource Sharing for Available
a straightforward mapping of a service to This work was supported in part by the European Commission
feature of the telephone network or the ISDN (Integrated Services Digital Network) is that once a user www.ics.forth.gr/netgroup/publications/1997.TR212.effb_abr.ps.gz
An Architecture for Active Networking - Bhattacharjee (1997)(Correct)(11 citations)
by the network. In this paper, we consider an approach to active networking that generalizes
some concluding remarks and directions for future work. Our contributions include the following: ffl A ftp.cc.gatech.edu/pub/coc/tech_reports/96/GIT-CC-96-20.ps.Z
Pickling threads state in the Java system - Bouchenak (1999)(Correct)(21 citations)
mechanism within the JVM (compared to other approaches) and describe the Java thread state
state structure. 2.1 Motivations and related work There are mainly three ways to address
it is a basic functionality which must be integrated within the JVM. Unlike the Sumatra mobile sirac.imag.fr/PUB/99/99-ersads-sara-PUB.ps.gz
Computing the Subset Partial Order: Progress and Open Problems.. - Pritchard(Correct)
information. This problem arose in applying a new approach to constraint satisfaction to the problem of
neglected -one. This paper reviews the published work on the problem, describes recent progress, and ftp.cs.su.oz.au/symvonis/AWOCA-submissions/pritchard.ps
Control of Virtual Motion Systems - Majid Moghaddam (1993)(Correct)(4 citations)
the problem in terms of a performance index. This approach permits application of standard optimal control
in legged locomotion. Since it is difficult to work with free roaming robots due to sensing and space www.cim.mcgill.ca/~arlweb/publications/iros93_vms.ps
Spaces of Null Homotopic Maps - Dwyer, Wilkerson (1989)(Correct)(1 citation)
of 1.1 given here does not use the localization approach of [DW]it is partly for this reason that the
spaces (see [LS2] for closely related earlier work in this direction)This generalization comes at hopf.math.purdue.edu/pub/Dwyer-Wilkerson/nullmaps/nullmaps.ps.gz
Recording and Playback of Collaborative Desktops on the.. - Khetawat, Lavana, Brglez (1997)(Correct)
tr i with the constant scale factor s. This approach has several limitations which include the
CBL (Collaborative Benchmarking Laboratory) Department of
to make digital/hard copy of all or part of this work for personal or classroom use is granted without www.cbl.ncsu.edu/www/publications/1997-TR@CBL-06-Khetawat/1997-TR@CBL-06-Khetawat.ps.gz
Colimits of Order-Sorted Specifications - Mossakowski(Correct)(2 citations)
of the two previous paragraphs would be an approach to order-sorted algebra where signatures and
signature morphisms have to be embeddings. In this work, we propose an alternative way to deal with www.informatik.uni-bremen.de/~till/papers/colimits.ps.gz
Mesh Component Design and Software Integration within SUMAA3d - Freitag, Jones, Plassmann(Correct)
design requirements for a general, component approach for mesh management for use within the context
each of these cases, however, a single style The work of the first author is supported by the
Mesh Component Design and Software Integration within SUMAA3d Lori Freitag y Mark Jones info.mcs.anl.gov/pub/tech_reports/reports/P726.ps.Z
Software Synthesis via Domain-Specific Software Architectures - Waite, Sloane(Correct)
the type addressed by that DSSA. To use the DSSA approach, a software engineer provides a description of
directly influences the dividing line between the work that must be done by the programmer and that which
concentrating on a different aspect. The system integrates these views to obtain its solution, www.cgl.uwaterloo.ca/~rnkazman/waite.ps
Providing Integrated Support for Multiple Development Notations - Grundy, Venable (1995)(Correct)(3 citations)
notations would not be feasible. 1.2 Our Approach Providing integrated support for multiple
J.G. Hosking, and R. Amor: Support for Collaborative, Integrated Software Development. accepted to
for information systems development [17, 13]Some work has been done on the static integration of www.cs.waikato.ac.nz/~jgrundy/papers/caise95.ps.Z
Faster Minimization Of Linear Wirelength For Global.. - Alpert, Chan, Huang.. (1997)(Correct)(10 citations)
contributions. ffl We place the GORDIAN-L approach in the context of a new generalization, derived
during the course of this mapping. This work was supported by a grant from Cadence Design
regimes. It is straightforward to integrate the Primal-Dual Newton iteration into existing nexus6.cs.ucla.edu/~abk/papers/conference/c65.ps